1. After Godel : Platonism and rationalism in mathematics and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical

رده :
QA
9
.
T53A34

2. An introduction to Godel's Theorems

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical

رده :
QA
9
.
65
.
S64I5

3. An introduction to Gödel's theorems /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Gödel, Kurt,Logic, Symbolic and mathematical

4. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt

رده :
QA
9
.
F58

5. Gödel remembered :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Gödel, Kurt,Logic, Symbolic and mathematical, Congresses,Logiciens - États-Unis - Biographies,Logique symbolique et mathématique

رده :
QA9
.
A1
G63
1987

6. Gödel's theorem in focus /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Gödel, Kurt.,Gödel's theorem.,Gödel's theorem.,Gödel's theorem.,Logic, Symbolic and mathematical.

رده :
QA9
.
65
.
G63
1989

7. Interpreting Godel : critical essays

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy

رده :
QA
9
.
2
.
I586

8. Les demons de Godel: logique et folie

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع : Gödel, , Kurt.,Logicians,Logicians,Logic, Symbolic and mathematical.,Biography.,Biography.,United States,Austria

رده :
QA29
.
G58C37
2007

9. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)

موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt

رده :
BC
135
.
M6